 |
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1994 Volume number : 20 Issue: 06 |
Specification And Validation Of Control-Intensive Ic' In Hopcp
(Article)
Subject:
Concurrent Systems
,
Asynchronous
,
Hardware Description Languages
Author:
V
Akella
Ganesh
Gopalakrishnan
page:
405
-
423
Linear Complexity Assertions For Sorting
(Article)
Subject:
Sorting
,
Error Compensation
,
Data Errors
Author:
Bruce E.
Barrett
Edward J.
Mccluskey
page:
424
-
431
Adaptive Location Polication Policies For Global Scheduling
(Article)
Subject:
Distributed Scheduling
,
Load Sharing
,
Location Probability
Author:
Phillip
Krueger
Niranjan G.
Shivaratri
page:
432
-
444
Qda-A Method For Systematic Informal Program Analysis
(Article)
Subject:
Analysis
,
Comment
,
Verification
,
Specification
Author:
W. E.
Howden
Bruce
Wieand
page:
445
-
462
A Framework For Source Code Search Using Program Patterns
(Article)
Subject:
Reverse Engineering
,
Software Mintenance
,
Pattern Making
Author:
Santanu
Paul
Atul
Prakash
page:
463
-
475
A Metrics Suite For Object Oriented Design
(Article)
Subject:
Object -Oriented Systems
,
Performance
,
Metrics
,
Measurement
Author:
Shyam R.
Chidamber
Chris F.
Kemerer
page:
476
-
493
|
|
| | |
